机译:可逆增强事件结构:转向可逆E-LOTOS
机译:增强的事件结构:实现E-LOTOS的真正并发语义
机译:E-LOTOS诱捕算子的一般化:与LOTOS和解
机译:从纹理E-LOTOS到图形E-LOTOS的自动翻译
机译:在肯塔基州通过技术促进技术教育(EETT)赠款和非赠款学区中使用技术的数学成就的比较研究。
机译:技术是否增强或妨碍人际关系通信?检查技术使用与非语言解码技能之间关系的框架和初步结果
机译:E-LOTOS处理代数中的多媒体
机译:开发增强地下天然气储存操作的技术和技术:技术状态评估和储气井生产率提高技术评估。 1990年3月至12月第1号专题报告